quantum algorithms:
With braiding
With duals for objects
category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
With duals for morphisms
monoidal dagger-category?
With traces
Closed structure
Special sorts of products
Semisimplicity
Morphisms
Internal monoids
Examples
Theorems
In higher category theory
While in classical mechanics a (pure) state is an element of an object in a cartesian monoidal category, in contrast in quantum mechanics a pure state is an element of an object in a non-cartesian monoidal category (say of Hilbert spaces). As a result, in quantum mechanics a state of a compound physical system may not come from a pair of states of the two subsystems, but instead be a nontrivial sum – a superposition – of such. These non-classical combinations of states of subsystems are called entangled states.
In quantum mechanics a state of a physical system is represented by a vector in some (Hilbert-)vector space . If the system is the composite of two subsystems with state spaces and , respectively, then the state space of the total system is the tensor product . The universal property of the tensor product gives a bilinear map
which sends a pair of states to their tensor product . States in the image of are called product states or separable states. An entangled state is a state which is not a product state.
Consider two quantum systems, and , with state vectors and respectively. The combined state of the system may be described by a single state vector .
As an example, suppose that in the basis , . This can be interpreted as system being in state with probability 1/2 and state with probability 1/2. Suppose further that . Then we have
.
Such a state is said to be a product state because it is “factorable” or equivalently separable, i.e. it can be formed from some combination of individual states in the basis.
Compare the above example to the state
.
This state is not a product state since it cannot be formed from any combination of individual states in the given basis. Such a state is known as an entangled state because it is said to be non-factorable or non-separable. The entangled states discussed above are, in fact, pure states rather than mixed states because they cannot be broken down further. However, there is also a notion of entanglement for mixed states.
The following refers to (Coecke-Kissinger).
Often if multi-party state?s can be inter-converted via local operations, they are considered to be the same. This can be made formal by the following definition.
Two states are said to be equivalent up to local operations with classical communication (LOCC) if they can be inter-converted by a protocol involving any number of steps where (i) one party applies a local unitary operation or (ii) one party sends some classical information to another.
Such a protocol is reversible, so since protocols compose, this generates an equivalence relation. While this removes a good deal of redundancy from the study of entanglement, it is often useful to use an even more course-grained relation.
Two states are said to be equivalent up to stochastic LOCC (SLOCC) if they can be inter-converted with some non-zero probability a protocol involving any number of steps where (i) one party applies a an arbitrary local operation or (ii) one party sends some classical information to another.
An example of a local stochastic operation is as follows. Suppose Alice and Bob share a state and Alice wishes to perform some operation . Alice prepares an ancilla qubit and performs a unitary operation
on her qubit as well as her part of the state . She then measures the ancilla qubit. If she gets an outcome of , she has performed some operation and if she gets outcome she has performed . The probability of Alice successfully performing is then the probability of getting the outcome of when she performed her measurement.
Two states are SLOCC-equivalent iff they can be inter-converted by applying arbitrary invertible local operations (ILOs).
Its easy to show using the Schur decomposition that there are only two SLOCC-equivalence classes in , namely the product state class and the Bell state class. Perhaps more surprising is the following result to to Dur, Vidal, and Cirac. [2]
Any genuine tripartite state |> is SLOCC-equivalent to either |W> or |GHZ>;.
By genuine, they mean a state that is not a product of smaller states. The two states are defined as:
Each of these states yields the structure of a commutative Frobenius algebra. yields a special CFA and yields an “anti-special” CFA. This structure serves to uniquely identity these states (up to SLOCC) in . [1]
Early discussion of composite quantum systems and their quantum entanglement:
Introduction and review:
Teiko Heinosaari, Mário Ziman, Section 6 of: The Mathematical Language of Quantum Theory – From Uncertainty to Entanglement, Cambridge University Press (2011) [doi:10.1017/CBO9781139031103]
Dagmar Bruss, Characterizing entanglement, J. Math. Phys. 43, 4237 (2002) arXiv:quant-ph/0110078 doi
Ingemar Bengtsson, Karol Życzkowski, Chapter 15 of: Geometry of Quantum States — An Introduction to Quantum Entanglement, Cambridge University Press (2006) [doi:10.1017/CBO9780511535048]
Extensive survey of the field:
As a notion in quantum information theory:
In relation to correlation:
and in relation to quantum computation/quantum supremacy:
and in the context of entanglement entropy of topological phases of matter:
Bei Zeng, Xie Chen, Duan-Lu Zhou, Xiao-Gang Wen:
Sec. 1 of of: Quantum Information Meets Quantum Matter – From Quantum Entanglement to Topological Phases of Many-Body Systems, Quantum Science and Technology (QST), Springer (2019) arXiv:1508.02595, doi:10.1007/978-1-4939-9084-9
Exposition of entanglement as a phenomenon of non-Cartesian monoidal categories:
A discussion in quantum mechanics in terms of dagger-compact categories is in
See also
Discussion in quantum optics:
A connection to algebraic geometry is proposed in
The following work included the consideration of identical particles into the study of quantum entanglement. In this case, the usage of partial trace may not be suitable and instead subsystems are described in terms of subalgebras. The work is in operator algebraic framework, based on usage of GNS construction and related to the consideration of von Neumann entropy.
Use of homological algebra for quantifying entanglement:
Last revised on April 24, 2024 at 07:20:40. See the history of this page for a list of all contributions to it.